База данных или семантическая связь, позволяющая создавать утверждения.